$\forall$$D$:Dsys. Feasible($D$) $\Rightarrow$ ($\exists$$w$:World. PossibleWorld($D$;$w$))